Sober topological spaces valued in a quantale
نویسندگان
چکیده
The notion of sobriety is extended to the realm topological spaces valued in a commutative and unital quantale, via an adjunction between category quantale modules quantale-valued spaces. Relations such sober domains based on flat ideals are investigated. In particular, it shown that if unit element coincides with its top element, then every domain (relative ideals) Scott topology space.
منابع مشابه
A Note on the Topologicity of Quantale-Valued Topological Spaces
For a quantale V, the category V-Top of V-valued topological spaces may be introduced as a full subcategory of those V-valued closure spaces whose closure operation preserves finite joins. In generalization of Barr’s characterization of topological spaces as the lax algebras of a lax extension of the ultrafilter monad from maps to relations of sets, for V completely distributive, V-topological ...
متن کاملQUANTALE-VALUED GAUGE SPACES
We introduce a quantale-valued generalization of approach spaces in terms of quantale-valued gauges. The resulting category is shown to be topological and to possess an initially dense object. Moreover we show that the category of quantale-valued approach spaces defined recently in terms of quantale-valued closures is a coreflective subcategory of our category and, for certain choices of the qu...
متن کاملDuality Beyond Sober Spaces: Topological Spaces and Observation Frames
We introduce observation frames as an extension of ordinary frames. The aim is to give an abstract representation of a mapping from observable predicates to all predicates of a specific system. A full subcategory of the category of observation frames is shown to be dual to the category of F! topological spaces. The notions we use generalize those in the adjunction between frames and topological...
متن کاملQUANTALE-VALUED SUP-ALGEBRAS
Based on the notion of $Q$-sup-lattices (a fuzzy counterpart of complete join-semilattices valuated in a commutative quantale), we present the concept of $Q$-sup-algebras -- $Q$-sup-lattices endowed with a collection of finitary operations compatible with the fuzzy joins. Similarly to the crisp case investigated in cite{zhang-laan}, we characterize their subalgebras and quotients, and following...
متن کاملInterval-valued Smooth Topological Spaces
We list two kinds of gradation of openness and we study in the sense of the followings: (i) We give the definition of IVGO of fuzzy sets and obtain some basic results. (ii) We give the definition of interval-valued gradation of clopeness and obtain some properties. (iii) We give the definition of a subspace of an interval-valued smooth topological space and obtain some properties. (iv) We inves...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Fuzzy Sets and Systems
سال: 2022
ISSN: ['1872-6801', '0165-0114']
DOI: https://doi.org/10.1016/j.fss.2021.11.007